-
1 formal symbolism
Большой англо-русский и русско-английский словарь > formal symbolism
-
2 formal symbolism
Математика: формальный символизм -
3 formal symbolism
мат. -
4 symbolism
символика, система обозначений -
5 формальный символизм
formal symbolism мат.Русско-английский научно-технический словарь Масловского > формальный символизм
-
6 формальный символизм
Большой англо-русский и русско-английский словарь > формальный символизм
-
7 формальный символизм
Mathematics: formal symbolismУниверсальный русско-английский словарь > формальный символизм
-
8 Boole, George
SUBJECT AREA: Electronics and information technology[br]b. 2 November 1815 Lincoln, Englandd. 8 December 1864 Ballintemple, Coounty Cork, Ireland[br]English mathematician whose development of symbolic logic laid the foundations for the operating principles of modern computers.[br]Boole was the son of a tradesman, from whom he learned the principles of mathematics and optical-component manufacturing. From the early age of 16 he taught in a number of schools in West Yorkshire, and when only 20 he opened his own school in Lincoln. There, at the Mechanical Institute, he avidly read mathematical journals and the works of great mathematicians such as Lagrange, Laplace and Newton and began to tackle a variety of algebraic problems. This led to the publication of a constant stream of original papers in the newly launched Cambridge Mathematical Journal on topics in the fields of algebra and calculus, for which in 1844 he received the Royal Society Medal.In 1847 he wrote The Mathematical Analysis of Logic, which applied algebraic symbolism to logical forms, whereby the presence or absence of properties could be represented by binary states and combined, just like normal algebraic equations, to derive logical statements about a series of operations. This laid the foundations for the binary logic used in modern computers, which, being based on binary on-off devices, greatly depend on the use of such operations as "and", "nand" ("not and"), "or" and "nor" ("not or"), etc. Although he lacked any formal degree, this revolutionary work led to his appointment in 1849 to the Chair of Mathematics at Queen's College, Cork, where he continued his work on logic and also produce treatises on differential equations and the calculus of finite differences.[br]Principal Honours and DistinctionsRoyal Society Medal 1844. FRS 1857.BibliographyBoole's major contributions to logic available in republished form include George Boole: Investigation of the Laws of Thought, Dover Publications; George Boole: Laws of Thought, Open Court, and George Boole: Studies in Logic \& Probability, Open Court.1872, A Treatise on Differential Equations.Further ReadingW.Kneale, 1948, "Boole and the revival of logic", Mind 57:149.G.C.Smith (ed.), 1982, George Boole \& Augustus de Morgan. Correspondence 1842– 1864, Oxford University Press.—, 1985, George Boole: His Life and Work, McHale.E.T.Bell, 1937, Men of Mathematics, London: Victor Gollancz.KF
См. также в других словарях:
Religious symbolism in the United States military — Insignias (left to right) for Christian, Muslim and Jewish chaplains are shown on the uniforms of three U.S. Navy chaplains, 1998. (These were the only insignias in use at that time.) Religious symbolism in the United States military includes the … Wikipedia
religious symbolism and iconography — Introduction respectively, the basic and often complex artistic forms and gestures used as a kind of key to convey religious concepts and the visual, auditory, and kinetic representations of religious ideas and events. Symbolism and… … Universalium
Sound symbolism — or phonosemantics is a branch of linguistics and refers to the idea that vocal sounds have meaning. In particular, sound symbolism is the idea that phonemes (the written representations of sounds, transcribed between slashes like this: /b/) carry … Wikipedia
Japanese sound symbolism — An example of Japanese sound symbolism jaan! This article describes sound symbolic or mimetic words in the Japanese language. Most languages have such words; for example, bang , zap , ding , slither , pop , etc. in English. Sound symbolic words… … Wikipedia
Nazi symbolism — The swastika was the main symbol of Nazism and remains strongly associated with it in the Western world The twentieth century German Nazi Party was notable for its extensive use of graphic symbolism, most notably the Hakenkreuz (swastika), which… … Wikipedia
Random access machine — In computer science, random access machine (RAM) is an abstract machine in the general class of register machines. The RAM is very similar to the counter machine but with the added capability of indirect addressing of its registers. Like the… … Wikipedia
Alfred Jarry — (8 September 1873 ndash; 1 November 1907) was a French writer born in Laval, Mayenne, France, not far from the border of Brittany; he was of Breton descent on his mother s side. Best known for his play Ubu Roi (1896), which is often cited as a… … Wikipedia
Symbolist poetry — Symbolism, as a type and movement in poetry, emphasized non structured internalized poetry that, for lack of better words, describe thoughts and feelings in disconnected ways and places logic, formal structure, and descriptive reality in the back … Wikipedia
interior design — 1. the design and coordination of the decorative elements of the interior of a house, apartment, office, or other structural space, including color schemes, fittings, furnishings, and sometimes architectural features. 2. the art, business, or… … Universalium
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia